VDict mobile
Dictionary - Translation



A type system by J-Y. Girard. Also known as Lambda-2 or the
polymorphic lambda-calculus.
["Proofs and Types", J-Y. Girard, Cambridge U Press 1989].
(1994-11-23)
© Vdict mobile
Switch to smart phone version   |   Switch to PC version